dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
830eb26
)
Remove $wgDebugProfiling. It appears to be unused.
author
Brian Wolff
<bawolff+wn@gmail.com>
Fri, 28 Feb 2014 04:53:58 +0000
(
00:53
-0400)
committer
Brian Wolff
<bawolff+wn@gmail.com>
Fri, 28 Feb 2014 04:53:58 +0000
(
00:53
-0400)
Not sure what happened to it, but grep suggests the option no
longer does anything.
Change-Id: I0d515551cd0d6cfd5b027be71ada714f6ebeb5ab
includes/DefaultSettings.php
patch
|
blob
|
history
diff --git
a/includes/DefaultSettings.php
b/includes/DefaultSettings.php
index
b9b471c
..
1dae5e7
100644
(file)
--- a/
includes/DefaultSettings.php
+++ b/
includes/DefaultSettings.php
@@
-5104,11
+5104,6
@@
$wgUDPProfilerPort = '3811';
*/
$wgUDPProfilerFormatString = "%s - %d %f %f %f %f %s\n";
-/**
- * Detects non-matching wfProfileIn/wfProfileOut calls
- */
-$wgDebugProfiling = false;
-
/**
* Output debug message on every wfProfileIn/wfProfileOut
*/